$ time: 0.157076000000000
$ 